- contensive statement
- логикасодержательное высказывание
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia